$\forall$$p$:FinProbSpace, $A$:($\mathbb{N}\rightarrow$p{-}open($p$)), $s$:($\mathbb{N}\rightarrow$Outcome).
\\[0ex]($\exists$$i$:$\mathbb{N}$. $s$ $\in$ $A$($i$)) $\Rightarrow$ $s$ $\in$ countable{-}p{-}union($i$.$A$($i$))